Function ^_Dfa-+3

Part of:

package lisplab
( ^_dfa-+3 < a > < c > )